% FOLD 1
no_payment_due(student18).
no_payment_due(student869).
no_payment_due(student466).
no_payment_due(student535).
no_payment_due(student837).
no_payment_due(student524).
no_payment_due(student326).
no_payment_due(student463).
no_payment_due(student457).
no_payment_due(student875).
no_payment_due(student815).
no_payment_due(student256).
no_payment_due(student20).
no_payment_due(student548).
no_payment_due(student453).
no_payment_due(student737).
no_payment_due(student402).
no_payment_due(student669).
no_payment_due(student287).
no_payment_due(student878).
no_payment_due(student777).
no_payment_due(student239).
no_payment_due(student708).
no_payment_due(student141).
no_payment_due(student221).
no_payment_due(student566).
no_payment_due(student393).
no_payment_due(student586).
no_payment_due(student865).
no_payment_due(student60).
no_payment_due(student205).
no_payment_due(student833).





% FOLD 2
no_payment_due(student426).
no_payment_due(student900).
no_payment_due(student116).
no_payment_due(student552).
no_payment_due(student944).
no_payment_due(student771).
no_payment_due(student720).
no_payment_due(student332).
no_payment_due(student537).
no_payment_due(student711).
no_payment_due(student759).
no_payment_due(student375).
no_payment_due(student387).
no_payment_due(student545).
no_payment_due(student298).
no_payment_due(student236).
no_payment_due(student176).
no_payment_due(student366).
no_payment_due(student931).
no_payment_due(student413).
no_payment_due(student653).
no_payment_due(student55).
no_payment_due(student938).
no_payment_due(student379).
no_payment_due(student454).
no_payment_due(student974).
no_payment_due(student418).
no_payment_due(student816).
no_payment_due(student61).
no_payment_due(student14).
no_payment_due(student383).
no_payment_due(student618).
no_payment_due(student675).
no_payment_due(student997).
no_payment_due(student230).
no_payment_due(student903).
no_payment_due(student348).
no_payment_due(student67).
no_payment_due(student190).
no_payment_due(student848).
no_payment_due(student259).
no_payment_due(student681).
no_payment_due(student268).
no_payment_due(student180).
no_payment_due(student685).
no_payment_due(student851).



% FOLD 3
no_payment_due(student725).
no_payment_due(student327).
no_payment_due(student462).
no_payment_due(student786).
no_payment_due(student839).
no_payment_due(student292).
no_payment_due(student922).
no_payment_due(student374).
no_payment_due(student123).
no_payment_due(student54).
no_payment_due(student772).
no_payment_due(student311).
no_payment_due(student921).
no_payment_due(student980).
no_payment_due(student177).
no_payment_due(student506).
no_payment_due(student636).
no_payment_due(student186).
no_payment_due(student907).
no_payment_due(student392).
no_payment_due(student818).
no_payment_due(student528).
no_payment_due(student455).
no_payment_due(student501).
no_payment_due(student319).
no_payment_due(student716).
no_payment_due(student704).
no_payment_due(student914).




% FOLD 4
no_payment_due(student860).
no_payment_due(student694).
no_payment_due(student469).
no_payment_due(student408).
no_payment_due(student933).
no_payment_due(student303).
no_payment_due(student644).
no_payment_due(student518).
no_payment_due(student991).
no_payment_due(student76).
no_payment_due(student964).
no_payment_due(student799).
no_payment_due(student782).
no_payment_due(student251).
no_payment_due(student390).
no_payment_due(student971).
no_payment_due(student857).
no_payment_due(student718).
no_payment_due(student532).
no_payment_due(student811).
no_payment_due(student516).
no_payment_due(student882).
no_payment_due(student521).
no_payment_due(student290).
no_payment_due(student103).
no_payment_due(student713).
no_payment_due(student132).
no_payment_due(student201).
no_payment_due(student604).
no_payment_due(student110).
no_payment_due(student360).
no_payment_due(student973).
no_payment_due(student276).
no_payment_due(student844).
no_payment_due(student822).
no_payment_due(student883).
no_payment_due(student925).
no_payment_due(student264).
no_payment_due(student564).
no_payment_due(student365).
no_payment_due(student540).
no_payment_due(student202).


% FOLD 5
no_payment_due(student188).
no_payment_due(student29).
no_payment_due(student873).
no_payment_due(student961).
no_payment_due(student930).
no_payment_due(student558).
no_payment_due(student321).
no_payment_due(student884).
no_payment_due(student478).
no_payment_due(student335).
no_payment_due(student325).
no_payment_due(student185).
no_payment_due(student731).
no_payment_due(student880).
no_payment_due(student872).
no_payment_due(student843).
no_payment_due(student434).
no_payment_due(student514).
no_payment_due(student899).
no_payment_due(student886).
no_payment_due(student98).
no_payment_due(student320).
no_payment_due(student47).
no_payment_due(student115).
no_payment_due(student344).
no_payment_due(student622).
no_payment_due(student630).
no_payment_due(student111).
no_payment_due(student394).
no_payment_due(student487).
no_payment_due(student113).
no_payment_due(student358).
no_payment_due(student693).
no_payment_due(student277).
no_payment_due(student437).
no_payment_due(student728).


% FOLD 6
/*
no_payment_due(student796).
no_payment_due(student507).
no_payment_due(student917).
no_payment_due(student637).
no_payment_due(student5).
no_payment_due(student398).
no_payment_due(student289).
no_payment_due(student460).
no_payment_due(student124).
no_payment_due(student557).
no_payment_due(student25).
no_payment_due(student223).
no_payment_due(student763).
no_payment_due(student654).
no_payment_due(student801).
no_payment_due(student101).
no_payment_due(student520).
no_payment_due(student341).
no_payment_due(student510).
no_payment_due(student683).
no_payment_due(student826).
no_payment_due(student965).
no_payment_due(student577).
no_payment_due(student549).
no_payment_due(student240).
no_payment_due(student934).
no_payment_due(student767).
no_payment_due(student954).
no_payment_due(student356).
no_payment_due(student218).
no_payment_due(student726).
no_payment_due(student362).
no_payment_due(student542).
no_payment_due(student355).
no_payment_due(student966).
no_payment_due(student640).
no_payment_due(student951).
no_payment_due(student206).
no_payment_due(student695).
no_payment_due(student243).
*/







% FOLD 7
no_payment_due(student427).
no_payment_due(student343).
no_payment_due(student834).
no_payment_due(student657).
no_payment_due(student941).
no_payment_due(student212).
no_payment_due(student451).
no_payment_due(student892).
no_payment_due(student639).
no_payment_due(student215).
no_payment_due(student445).
no_payment_due(student499).
no_payment_due(student107).
no_payment_due(student911).
no_payment_due(student574).
no_payment_due(student182).
no_payment_due(student755).
no_payment_due(student571).
no_payment_due(student706).
no_payment_due(student986).
no_payment_due(student424).
no_payment_due(student509).
no_payment_due(student44).
no_payment_due(student791).
no_payment_due(student131).
no_payment_due(student38).
no_payment_due(student525).
no_payment_due(student979).
no_payment_due(student312).











% FOLD 8
no_payment_due(student784).
no_payment_due(student707).
no_payment_due(student278).
no_payment_due(student829).
no_payment_due(student889).
no_payment_due(student3).
no_payment_due(student144).
no_payment_due(student146).
no_payment_due(student53).
no_payment_due(student957).
no_payment_due(student489).
no_payment_due(student449).
no_payment_due(student802).
no_payment_due(student307).
no_payment_due(student691).
no_payment_due(student692).
no_payment_due(student363).
no_payment_due(student862).
no_payment_due(student345).
no_payment_due(student960).
no_payment_due(student310).
no_payment_due(student461).
no_payment_due(student730).
no_payment_due(student456).
no_payment_due(student149).
no_payment_due(student137).
no_payment_due(student687).
no_payment_due(student543).
no_payment_due(student160).
no_payment_due(student582).
no_payment_due(student671).
no_payment_due(student35).
no_payment_due(student56).
no_payment_due(student464).
no_payment_due(student876).
no_payment_due(student982).










% FOLD 9
no_payment_due(student824).
no_payment_due(student187).
no_payment_due(student898).
no_payment_due(student919).
no_payment_due(student74).
no_payment_due(student736).
no_payment_due(student793).
no_payment_due(student861).
no_payment_due(student58).
no_payment_due(student813).
no_payment_due(student161).
no_payment_due(student85).
no_payment_due(student36).
no_payment_due(student483).
no_payment_due(student249).
no_payment_due(student353).
no_payment_due(student78).
no_payment_due(student435).
no_payment_due(student633).
no_payment_due(student995).
no_payment_due(student254).
no_payment_due(student623).
no_payment_due(student265).
no_payment_due(student597).
no_payment_due(student845).
no_payment_due(student722).
no_payment_due(student819).
no_payment_due(student756).
no_payment_due(student266).
no_payment_due(student471).
no_payment_due(student252).
no_payment_due(student988).
no_payment_due(student27).
no_payment_due(student419).







% FOLD 10
no_payment_due(student299).
no_payment_due(student10).
no_payment_due(student643).
no_payment_due(student245).
no_payment_due(student200).
no_payment_due(student703).
no_payment_due(student88).
no_payment_due(student16).
no_payment_due(student929).
no_payment_due(student166).
no_payment_due(student381).
no_payment_due(student853).
no_payment_due(student810).
no_payment_due(student484).
no_payment_due(student513).
no_payment_due(student978).
no_payment_due(student715).
no_payment_due(student551).
no_payment_due(student563).
no_payment_due(student912).
no_payment_due(student258).
no_payment_due(student357).
no_payment_due(student766).
no_payment_due(student561).
no_payment_due(student34).
no_payment_due(student648).
no_payment_due(student89).
no_payment_due(student482).
no_payment_due(student86).
no_payment_due(student71).
no_payment_due(student939).
no_payment_due(student87).
no_payment_due(student752).
no_payment_due(student192).


